homotopy theorem

同伦定理